Table of simple cubic graphs

The connected 3-regular (cubic) simple graphs are listed for small vertex numbers.

Contents

Connectivity

The count of simple cubic graphs is 1, 2, 5, 19,... for 2, 4, 6, 8,... vertices (sequence A002851 in OEIS). A classification according to edge connectivity is made as follows: the 1-connected and 2-connected graphs are defined as usual. This leaves the other graphs in the 3-connected class because each 3-regular graph can be split by cutting all edges adjacent to any of the vertices. To refine this definition in the light of the algebra of coupling of angular momenta (see below), a subdivision of the 3-connected graphs is helpful. We shall call

This declares the numbers 3 and 4 in the first column of the tables below.

LCF notation

The LCF notation is a notation by Joshua Lederberg, Coxeter and Frucht, for the representation of cubic graphs that are Hamiltonian.

The two edges along the cycle adjacent to any of the vertices are not written down.

Let v be the vertices of the graph and describe the Hamiltonian circle along the p vertices by the edge sequence v0v1,v1v2, ... ,vp-2vp-1,vp-1v0. Halting at a vertex vi, there is one unique vertex vj at a distance di joined by a chord with vi,

 j=i%2Bd_i\quad (\bmod\, p),\quad 2\le d_i\le p-2.

The vector [d0,d1, ..., dp-1] of the p integers is a suitable, although not unique, representation of the cubic Hamiltonian graph. This is augmented by two additional rules:

  1. If a di >p/2, replace it by di-p;
  2. avoid repetition of a sequence of di if these are periodic and replace them by an exponential notation.

Since the starting vertex of the path is of no importance, the numbers in the representation may be cyclically permuted. If a graph contains different Hamiltonian circuits, one may select one of these to accommodate the notation. The same graph may have different LCF notations, depending on precisely how the vertices are arranged.

Often the anti-palindromic representations with

 d_{p-1-i}= -d_i \quad (\bmod\,p), \quad i=0,1,\ldots p/2-1

are preferred (if they exist), and the redundant part is then replaced by ";-". The LCF notation [5,-9,7,-7,9,-5]4, for example, and would at that stage be condensed to [5,-9,7;-]4.

Table

4 nodes

connectivity LCF names
4 [2]^4 K4

6 nodes

connectivity LCF names
3 [2,3,-2]^2 Wn,2, prism graph Y3
4 [3]^6 K3,3

8 nodes

connectivity LCF names
2 [2,2,-2,-2]^2
3 [4,-2,4,2]^2 or [2,3,-2,3;-]
3 [2,4,-2,3,3,4,-3,-3]
4 [-3,3]^4 cubical graph
4 [4]^8 or [4,-3,3,4]^2 Wagner graph

10 nodes

connectivity LCF names
1 Edge list 0-1,0-6,0-9,1-2,1-5,2-3,2-4,3-4,3-5,4-5,6-7,6-8,7-8,7-9,8-9
2 [4,2,3,-2,-4,-3,2,2,-2,-2]
2 [3,3,3,-3,-3,-3,2,2,-2,-2]
2 [2,3,-2,2,-3,-2,2,2,-2,-2]
2 [2,2,-2,-2,5]^2
3 [2,3,-2,5,-3]^2
3 [2,-4,-2,5,2,4,-2,4,5,-4]
3 [5,3,5,-4,-3,5,2,5,-2,4]
3 [-4,3,3,5,-3,-3,4,2,5,-2]
3 [3,-3,5,-3,2,4,-2,5,3,-4]
3 [-4,4,2,5,-2]^2
3 [5,-2,2,4,-2,5,2,-4,-2,2]
3 [2,5,-2,5,5]^2
3 [5,-3,-3,3,3]^2
4 [5,-4,4,-4,4]^2
4 [5,-4,4,5,5]^2
4 [5]^10
4 [-4,4,-3,5,3]^2
4 Petersen graph

12 nodes

connectivity LCF names
1 Edge list 0-1,0-2,0-11,1-2,1-6,2-3,3-4,3-5,4-5,4-6,5-6,7-8,7-9,7-11,8-9,8-10,9-10,10-11
1 Edge list 0-1,0-6,0-11,1-2,1-3,2-3,2-5,3-4,4-5,4-6,5-6,7-8,7-9,7-11,8-9,8-10,9-10,10-11
1 Edge list 0-1,0-3,0-11,1-2,1-6,2-3,2-5,3-4,4-5,4-6,5-6,7-8,7-9,7-11,8-9,8-10,9-10,10-11
1 Edge list 0-1,0-6,0-11,1-2,1-4,2-3,2-5,3-4,3-6,4-5,5-6,7-8,7-9,7-11,8-9,8-10,9-10,10-11
2 [4,2,3,-2,-4,-3]^2
2 [4,2,3,-2,-4,-3,3,3,3,-3,-3,-3]
2 [4,2,3,-2,-4,-3,2,3,-2,2,-3,-2]
2 [3,3,3,-3,-3,-3]^2
2 [3,3,3,-3,-3,-3,2,3,-2,2,-3,-2]
2 [2,3,-2,2,-3,-2]^2
2 [6,2,3,-2,3,-3,6,-3,2,2,-2,-2]
2 [6,3,3,4,-3,-3,6,-4,2,2,-2,-2]
2 [4,2,3,-2,-4,-3,5,2,2,-2,-2,-5]
2 [3,3,3,-3,-3,-3,5,2,2,-2,-2,-5]
2 [2,3,-2,2,-3,-2,5,2,2,-2,-2,-5]
2 [5,2,4,-2,3,-5,-4,-3,2,2,-2,-2]
2 [3,4,4,-3,3,-4,-4,-3,2,2,-2,-2]
2 [2,4,-2,4,2,-4,-2,-4,2,2,-2,-2]
2 [2,2,-2,-2,-5,5]^2
2 [4,5,3,4,-4,-3,-5,-4,2,2,-2,-2]
2 [5,2,-3,-2,6,-5,2,2,-2,-2,6,3]
2 [2,4,-2,3,3,-4,-3,-3,2,2,-2,-2]
2 [2,2,-2,-2,5,3,5,3,-3,-5,-3,-5]
2 [2,2,-2,-2,6,6]^2
2 [6,-2,2,2,-2,-2,6,2,2,-2,-2,2]
2 [-2,3,-3,2,-3,-2,2,2,-2,-2,2,3]
2 [2,2,-2,-2,5,2,5,-2,2,-5,-2,-5]
2 [-2,-2,2,2]^3
3 [2,3,-2,3,-3,3,-3;-]
3 [2,3,-2,3,-3,4,-3,3,3,-4,-3,-3]
3 [2,3,-2,3,-3,4,-3,4,2,-4,-2,-4]
3 [2,4,-2,3,4,-4,-3,3,-4,2,-3,-2]
3 [2,4,-2,3,5,-4,-3,3,3,-5,-3,-3]
3 [2,4,-2,3,6,-4,-3,2,3,-2,6,-3]
3 [-5,2,-3,-2,6,3,3,5,-3,-3,6,3]
3 [-4,2,-3,-2,6,2,3,-2,4,-3,6,3]
3 [3,4,4,-3,4,-4,-4,3,-4,2,-3,-2]
3 [3,4,4,-3,5,-4,-4,3,3,-5,-3,-3]
3 [6,3,3,6,-3,-3]^2
3 [2,5,-2,2,4,-2,-5,3,-4,2,-3,-2] Frucht graph
3 [2,5,-2,2,5,-2,-5,3,3,-5,-3,-3]
3 [2,5,-2,2,6,-2,-5,2,3,-2,6,-3]
3 [3,5,3,-3,4,-3,-5,3,-4,2,-3,-2]
3 [3,5,3,-3,5,-3,-5,3,3,-5,-3,-3]
3 [3,6,4,-3,6,3,-4,6,-3,2,6,-2]
3 [-4,4,2,-4,-2,-4;-]
3 [-4,4,-3,3,6,-4,-3,2,4,-2,6,3]
3 [-5,2,6,-2,5,6,4,5,6,-5,-4,6]
3 [-5,2,4,-2,6,3,-4,5,-3,2,6,-2]
3 [-4,2,3,-2,5,-3,5,3,4,-5,-3,-5]
3 [2,6,-2,3,4,5,-3,6,-4,2,-5,-2]
3 [2,-5,-2,4,5,6,4,-4,5,-5,-4,6]
3 [2,5,-2,4,-5,4,-5,-4,2,-4,-2,5]
3 [3,6,4,-3,4,5,-4,6,-4,2,-5,-2]
3 [3,5,5,-3,-5,4,-5,-5,2,-4,-2,5]
3 [-5,-2,3,-5,5,-3,2,5,-2,-5,5,2]
3 [-4,2,3,-2,6,-3,5,2,4,-2,6,-5]
3 [4,6,6,2,-4,-2]^2
3 [-5,3,3,5,-3,-3,4,5,-5,2,-4,-2]
3 [5,6,-4,3,4,-5,-3,6,-4,2,4,-2]
3 [-4,5,2,-4,-2,5;-] Dürer graph
3 [2,5,-2,5,3,5,-5,-3,-5,2,-5,-2]
3 [2,-5,-2,3,5,6,-3,3,5,-5,-3,6]
3 [2,6,-2,5,2,5,-2,6,-5,2,-5,-2]
3 [6,-2,2]^4
3 Tietze's Graph
3 [2,6,-2,6]^3
4 [-3,3]^6
4 [3,6,6,-3,6,6]^2
4 [-4,4,-3,3,5,-4,-3,3,4,-5,-3,3]
4 [4,-5,-5,4,-4,6,4,-4,5,5,-4,6]
4 [4,-5,5,6,-4,5,5,-5,5,6,-5,-5]
4 [4,-4,6]^4
4 [6,-5,5]^4
4 [3,-5,5,-3,5,6,4,-5,5,-5,-4,6]
4 [5,-5,-3,4,5,-5,4,-4,5,-5,-4,3]
4 [-5,3,6,-5,-3,4,5,5,6,-4,5,-5]
4 [-3,6,4,-4,4,5,-4,6,-4,3,-5,4]
4 [5,6,6,-4,5,-5,4,6,6,-5,-4,4]
4 [-4,5,-4,4,-5,4,-5,-4,4,-4,4,5]
4 [-3,4,-3,5,3,-4,4,-3,-5,3,-4,3]
4 [-5,3,-3,5,-3,5,3,5,-5,-3,-5,3]
4 [5,-5,-3,3]^3 Franklin graph
4 [3,6,6,-3,-5,5]^2
4 [6,-5,-4,4,-5,4,6,-4,5,-4,4,5]

The LCF entries are absent above if the graph has no Hamiltonian cycle, which is rare (see Tait's conjecture). In this case a list of edges between pairs of vertices labeled 0 to n-1 in the third column serves as an identifier.

Vector coupling coefficients

Each 4-connected (in the above sense) simple cubic graph on 2n nodes defines a class of quantum mechanical 3n-j symbols. Roughly speaking, each vertex represents a 3-jm symbol, the graph is converted to a digraph by assigning signs to the angular momentum quantum numbers j, the vertices are labelled with a handedness representing the order of the three j (of the three edges) in the 3-jm symbol, and the graph represents a sum over the product of all these numbers assigned to the vertices.

There are 1 (6j), 1 (9j), 2 (12j), 5 (15j), 18 (18j), 84 (21j), 607 (24j), 6100 (27j), 78824 (30j), 1195280 (33j), 20297600 (36j), 376940415 (39j) etc. of these (sequence A175847 in OEIS).

If they are equivalent to certain vertex-induced binary trees (cutting one edge and finding a cut that splits the remaining graph into two trees), they are representations of recoupling coefficients, and are then also known as Yutsis graphs (sequence A111916 in OEIS).

See also

References